Non-blocking algorithm

Results: 218



#Item
41Concurrent Transformation Components using Contention Context Sensors Erik Österlund Welf Löwe

Concurrent Transformation Components using Contention Context Sensors Erik Österlund Welf Löwe

Add to Reading List

Source URL: welf.se

Language: English - Date: 2014-09-21 12:09:18
42Administrivia  Readers-Writers Problem • Project 1 due right now

Administrivia Readers-Writers Problem • Project 1 due right now

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2010-02-19 22:26:45
43RCDC: A Relaxed Consistency Deterministic Computer Joseph Devietti Jacob Nelson  Tom Bergan

RCDC: A Relaxed Consistency Deterministic Computer Joseph Devietti Jacob Nelson Tom Bergan

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2011-05-12 02:39:36
44Hash-Merge Join: A Non-blocking Join Algorithm for Producing Fast and Early Join Results∗ Mohamed F. Mokbel Ming Lu

Hash-Merge Join: A Non-blocking Join Algorithm for Producing Fast and Early Join Results∗ Mohamed F. Mokbel Ming Lu

Add to Reading List

Source URL: www-users.cs.umn.edu

Language: English - Date: 2009-09-29 10:22:41
45The biggest two problems in multi-threaded programming are races and deadlocks. Races reached new levels with the introduction of relaxed memory processors. It turns out that races can be eliminated without sacrificing m

The biggest two problems in multi-threaded programming are races and deadlocks. Races reached new levels with the introduction of relaxed memory processors. It turns out that races can be eliminated without sacrificing m

Add to Reading List

Source URL: nwcpp.org

Language: English
46Notes on Theory of Distributed Systems CS: Spring 2014 James Aspnes:02

Notes on Theory of Distributed Systems CS: Spring 2014 James Aspnes:02

Add to Reading List

Source URL: cs-www.cs.yale.edu

Language: English - Date: 2014-05-02 18:02:39
47Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a

Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a

Add to Reading List

Source URL: news.cs.nyu.edu

Language: English - Date: 2013-07-16 15:24:14
48Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav  IBM Research

Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English
49Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2009-09-25 09:19:19
50Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev  Nedyalko Prisadnikov

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2012-03-27 11:34:59